61. Temporal logic of programs
پدیدآورنده : Kroger, Fred
کتابخانه: (طهران)
موضوع : ، Electronic digital computers -- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
62. Temporal logics : and their applications
پدیدآورنده : edited by Antony Galton
کتابخانه: (طهران)
موضوع : ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
T46
1987
63. The imperative future: principles of executable tomporal logic
پدیدآورنده : edited by Howard Barringer ... ]et al[
موضوع : ، Computer software - Development,، Programming languages )Electronic computer(,، Logic, symbolic and mathematical
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
64. The deductive foundations of computer programming: a one-volume version of the logical basis for computer programming
پدیدآورنده : Manna, Zohar
کتابخانه: (طهران)
موضوع : ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M35
65. The logic of partial information
پدیدآورنده : Nait Abdallah, Areski
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
N35
1995
66. The logic of partial information
پدیدآورنده : Nait Abdallah, Areski, 0591-
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
N3
67. The logic of programming
پدیدآورنده : Hehner, Eric C. R.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Programming )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H427
1984
68. The logic of programming
پدیدآورنده : Hehner, Eric C. R.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Programming )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H427
1984
69. The logic of programming
پدیدآورنده : Hehner, Eric C R
کتابخانه: (طهران)
موضوع : ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H42
1984
70. The logical basis for computer programming
پدیدآورنده : Zohar Manna, Richard Waldinger
موضوع : Electronic digital computers--Programming,Logic, Symbolic and mathematical
۴ نسخه از این کتاب در ۳ کتابخانه موجود است.
71. The logical basis for computer programming
پدیدآورنده : Manna, Zohar
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M35595
1985
72. The temporal logic of reactive and concurrent systems
پدیدآورنده : Manna, Zohar
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3564
1991
73. Truth, deduction, and computation
پدیدآورنده : / R.E. Davis
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Programming languages (Electronic computers)- Semantics,Logic, Symbolic and mathematical,Electronic data processing
رده :
QA76
.
7
.
D386
1989